craig's theorem

Craig定理